- strongly definable relation
- строго определимое отношение
English-Russian scientific dictionary. 2008.
strongly definable relation
Смотреть что такое "strongly definable relation" в других словарях:
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
o-minimal theory — In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o minimal structure if and only if every definable subset X ⊂ M (with parameters taken from… … Wikipedia
Islamic arts — Visual, literary, and performing arts of the populations that adopted Islam from the 7th century. Islamic visual arts are decorative, colourful, and, in religious art, nonrepresentational; the characteristic Islamic decoration is the arabesque.… … Universalium
PHILOSOPHY, JEWISH — This article is arranged according to the following outline: WHAT IS JEWISH PHILOSOPHY? recent histories of jewish philosophy biblical and rabbinic antecedents bible rabbinic literature hellenistic jewish philosophy philo of alexandria biblical… … Encyclopedia of Judaism
social science — social scientist. 1. the study of society and social behavior. 2. a science or field of study, as history, economics, etc., dealing with an aspect of society or forms of social activity. [1775 85] * * * Any discipline or branch of science that… … Universalium
Agnosticism — • A philosophical theory of the limitations of knowledge, professing doubt of or disbelief in some or all of the powers of knowing possessed by the human mind Catholic Encyclopedia. Kevin Knight. 2006. Agnosticism Agnosticism … Catholic encyclopedia
